formal semantics
英 [ˈfɔːml sɪˈmæntɪks]
美 [ˈfɔːrml sɪˈmæntɪks]
网络 形式语义学; 形式语义; 形式化语义; 形式化的语义; 形式语义学派
双语例句
- OWL facilitates greater machine interpretability of Web content than that supported by XML, RDF, and RDF Schema by providing additional vocabulary along with formal semantics.
OWL既提供了正式的语义，又提供了附加的词汇，所以比起XML、RDF和RDFSchema，对Web内容实现了更好的机器互操作性。 - Formal Semantics of Component-Based Architecture Model Mapping
构件式体系结构模型映射的形式化语义 - Multi-paradigm Based Instruction Assistant System for Formal Semantics Course
基于多语言范例的形式语义学教学辅助系统 - Dan introduces source-level formal semantics for3 different isolation levels
Dan为三种不同的隔离级别引入了源码级的形式化语义 - The formal semantics difined here is able to deal with most of the features of UML activity diagram, and establish the foundation of describing and analysis of work flow.
该形式语义覆盖了UML活动图的绝大部分特征，为精确描述工作流程并对其进行分析奠定了基础。 - Formal Semantics of Framed Temporal Logic Programming Language MSVL
框架时序逻辑程序语言MSVL的形式语义 - Definiteness Effect on Noun Phrases in Existential Sentences-A Formal Semantics Analysis
英汉存现句中名词短语确指效应的语义分析 - An approach to modeling dynamic workflows based on the UML activity diagram and the UML state diagram was presented being supported by formal semantics.
该方法在扩展UML的基础上给出了两种建模机制，利用UML活动图和状态图对动态工作流过程进行建模。 - Still, the formal semantics for the hierarchical composition of connectors was defined using CSP notation.
还使用CSP符号给出了层次组合连接器的形式语义。 - The formal semantics of RT-Z, based on the denotation semantics of Z and timed CSP, is a prerequisite for preciseness and mathematical rigour.
RT-Z的语义基于Z和TimedCSP，这是它具有正确性和数学严格性的基础。 - Formal Semantics of Architecture Model of Collaborative Systems
协同系统体系结构模型的形式化语义 - The formal semantics of programming languages can provide concise and precise language definition. It helps people not only to understand well the language, but also to standardization of language.
程序语言的形式化语义提供简洁而精确的语言定义，不仅帮助人们很好的理解语言，而且有助于语言的标准化。 - Operational semantics and denotational semantics are two type of formal semantics.
其中操作语义学和指称语义学是形式语义学的两大类别。 - The Formal Semantics of UML Activity Diagram and Analysis
UML活动图的形式语义及分析 - A formal semantics of processes of Agent organization structure design is given in this paper based on p-calculus and the chemical abstract machine ( CHAM).
基于p演算和化学抽象机给出了组织结构设计过程的一种形式语义。 - Different from formal semantics, cognitive grammar suggests that the meaning of a sentence is not its truth-conditions, but the conceptualization related to it, being equal to conceptualization or mental experience in nature.
与形式语义学不同，认知语法认为，意义并不是句子的真值条件，而是与句子有关的概念化过程，在本质上等于概念化或心智经验。 - There exist strong semantics model and weak semantics model for time petri nets. The weak semantics model is more suitable to model and analyze choices triggered by external environment, but its formal semantics and reachability analysis technique are rarely studied.
时间Petri网存在强语义和弱语义两种模型，弱语义模型更适合建模和分析外部环境触发的冲突选择问题，但其形式语义和可达性分析方面的研究，却很少有人问津。 - This paper studies how and to what degree the semantic module in computational linguistics is influenced by the theories in formal semantics.
本文探讨计算语言学中语义研究部分如何吸收和借鉴了形式语义学的理论成果。重点讨论这样几个问题：（1）关于语义值的研究； - The Formal Semantics of English Transitive Verbs and Its Realization Techniques
英语中及物动词的形式语义及其实现 - Formal Semantics of UML 2. 0 Based on Temporal Logic
一种基于时序逻辑的UML2.0形式化语义 - Because UML lacks of precise semantics, a method is proposed to express the formal semantics of the class diagrams based on the temporal logic language XYZ/ E.
基于UML缺乏精确语义描述的不足，我们提出了基于时序逻辑语言XYZ/E来表示类图形式化语义的方法。 - This paper introduces some methods to describe the topological spatial relations in formal semantics, and presents a new approach in this field on the basis of dimension extension of voronoi diagram.
介绍了空间拓扑关系的形式化描述的一些方法，并提出了一种新的描述方法即基于Voronoi图的维扩展描述法。 - In this paper, we first described the late research situation of Object Oriented methodology and Algebraic specification and Temporal Logical in domestic and abroad, which shows the lack of the object formal semantics.
本文首先讨论了国内外有关面向对象方法学、代数规范、时态逻辑的研究现状，分析了对象形式化语义研究的不足。 - The traditional formal semantics holds that all the indefinite noun phrases should be interpreted as existentially quantified phrases.
文章讨论了传统形式语义学理论和篇章表述理论对无定名词词组的语义解释问题。传统形式语义学规定所有无定名词词组都具有量化特征。 - The History and Framework of Formal Semantics
形式语义学的历史渊源和理论框架 - Study on the Formal Semantics of Verilog
Verilog语言形式化语义研究 - It indicated that the basic research should mostly include the development of ontology, the formal semantics of Semantic Web language and the development of Trust and Proof model.
总结了未来语义Web基础研究和应用研究的方向：语义Web的基础研究主要包括本体的发展、语义Web语言的形式语义和确信（Trust）与证据（Proof）模型的开发； - In order to obtain more accurate UML-RT models, UML-RT models need to be given formal semantics.
为了使得UML-RT建模结果更为精确，需要赋予UML-RT模型形式化语义。 - However, UML has not been given a strict formal semantics, which can only describe a dynamic model without execution. This makes the verification of the model a problem.
然而UML并没有被赋予严格的形式化语义，而且对于动态模型仅仅只能描述而无法执行，这使得模型的验证成为一个难题。
英英释义
noun
- the branch of semantics that studies the logical aspects of meaning